Search results for "valence [quark]"

showing 10 items of 37 documents

Upper and lower generalized factoraggregations based on fuzzy equivalence relation

2014

We develop the concept of a general factoraggre-gation operator introduced by the authors on the basis of an equivalence relation and applied in two recent papers for analysis of bilevel linear programming solving parameters. In the paper this concept is generalized by using a fuzzy equivalence relation instead of the crisp one. By using a left-continuous t-norm and its residuum we define and investigate two modifications of such generalized construction: upper and lower generalized factoraggregations. These generalized factoraggregations can be used for construction of extensional fuzzy sets.

AlgebraDiscrete mathematicsFuzzy classificationFuzzy setEquivalence relationFuzzy numberGeneralized linear array modelFuzzy set operationsFuzzy subalgebraDefuzzificationMathematics2014 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)
researchProduct

Nondeterministic operations on finite relational structures

1998

Abstract This article builds on a tutorial introduction to universal algebra for language theory (Courcelle, Theoret. Comput. Sci. 163 (1996) 1–54) and extends it in two directions. First, nondeterministic operations are considered, i.e., operations which give a set of results instead of a single one. Most of their properties concerning recognizability and equational definability carry over from the ordinary case with minor modifications. Second, inductive sets of evaluations are studied in greater detail. It seems that they are handled most naturally in the framework presented here. We consider the analogues of top-down and bottom-up tree transducers. Again, most of their closure propertie…

Discrete mathematicsFinite-state machineGeneral Computer ScienceComputer scienceLogicFormal languages (recognizable and context-free sets transducers)Unbounded nondeterminismMonad (functional programming)Symbolic computationHypergraphsFirst-order logicLogical theoryDecidabilityTheoretical Computer ScienceNondeterministic algorithmAlgebraDeterministic automatonFormal languageUniversal algebraEquivalence relationTree transducersRewritingComputer Science(all)Theoretical Computer Science
researchProduct

A note on maximal subgroups and conjugacy classes of finite groups

2021

Given a finite group G, two elements are ≡m-related if they lie in exactly the same maximal subgroups of G. This equivalence relation was introduced by P. J. Cameron, A. Lucchini and C. M. Roney-Do...

Pure mathematicsFinite groupMathematics (miscellaneous)Conjugacy classEquivalence relationMathematicsQuaestiones Mathematicae
researchProduct

Finite Satisfiability of the Two-Variable Guarded Fragment with Transitive Guards and Related Variants

2018

We consider extensions of the two-variable guarded fragment, GF2, where distinguished binary predicates that occur only in guards are required to be interpreted in a special way (as transitive relations, equivalence relations, pre-orders or partial orders). We prove that the only fragment that retains the finite (exponential) model property is GF2 with equivalence guards without equality. For remaining fragments we show that the size of a minimal finite model is at most doubly exponential. To obtain the result we invent a strategy of building finite models that are formed from a number of multidimensional grids placed over a cylindrical surface. The construction yields a 2NExpTime-upper bou…

FOS: Computer and information sciencesComputer Science - Logic in Computer ScienceTwo-variable logicGeneral Computer ScienceComputational complexity theoryLogicguarded fragmentBinary number0102 computer and information sciences01 natural sciencesUpper and lower boundsTheoretical Computer ScienceCombinatoricstransitive relationEquivalence relationfinite satisfiability problem0101 mathematicsEquivalence (formal languages)Integer programmingMathematicsDiscrete mathematicsTransitive relationNEXPTIMEcomputational complexity010102 general mathematicsLogic in Computer Science (cs.LO)Computational Mathematics010201 computation theory & mathematicsequivalence ralationACM Transactions on Computational Logic
researchProduct

Worldwide trends in hypertension prevalence and progress in treatment and control from 1990 to 2019: a pooled analysis of 1201 population-representat…

2021

Background: hypertension can be detected at the primary health-care level and low-cost treatments can effectively control hypertension. We aimed to measure the prevalence of hypertension and progress in its detection, treatment, and control from 1990 to 2019 for 200 countries and territories. Methods: we used data from 1990 to 2019 on people aged 30-79 years from population-representative studies with measurement of blood pressure and data on blood pressure treatment. We defined hypertension as having systolic blood pressure 140 mm Hg or greater, diastolic blood pressure 90 mm Hg or greater, or taking medication for hypertension. We applied a Bayesian hierarchical model to estimate the prev…

MaleLatin AmericansNutrition and DiseaseEpidemiology[SDV]Life Sciences [q-bio]MedizinBLOOD-PRESSURE030204 cardiovascular system & hematologyWorldwide trends in hypertension prevalence and progress in treatment and control from 1990 to 2019: a pooled analysis of 1201 population-representative studies with 104 million participants.Hypertension ; Prevalence ; Control ; TretamentGUIDELINESGlobal HealthWorldwide trends0302 clinical medicineHypertension prevalenceVoeding en ZiekteMedicine and Health Scienceskohonnut verenpainePrevalenceMedicine030212 general & internal medicinePrevention and Control11 Medical and Health SciencesComputingMilieux_MISCELLANEOUSHypertension prevalenceeducation.field_of_studyfood and beveragesPublic Health Global Health Social Medicine and EpidemiologyGeneral MedicineNoncommunicable diseases; Hypertension; Period prevalenceMiddle Agedkansainvälinen vertailu3142 Public health care science environmental and occupational health3. Good healthMIDDLE-INCOMEPooled analysisBLOOD-PRESSURE; SYSTEMATIC ANALYSIS; INCOME COUNTRIES; MIDDLE-INCOME;ADULTS;PREVENTION;GUIDELINES;MANAGEMENT;ADHERENCE;DIAGNOSISWestern europeHypertension[SDE]Environmental SciencesHypertension/diagnosisNCD Risk Factor Collaboration (NCD-RisC)FemaleB990 Subjects Allied to Medicine not elsewhere classifiedLife Sciences & BiomedicineAdulthealth-careesiintyvyysCentral asiaPopulationNursing.3121 Internal medicineDIAGNOSIS03 medical and health sciencesMedicine General & InternalADHERENCEDrug TherapyGeneral & Internal MedicineControlMANAGEMENTSYSTEMATIC ANALYSISLife ScienceHumansddc:610INCOME COUNTRIESeducationAntihypertensive AgentsVLAGAgedScience & TechnologyAntihypertensive Agents/therapeutic usebusiness.industryOmvårdnadfungiGeneral and internal medicineADULTSEstados de Saúde e de DoençaPREVENTIONTaking medicationTreatmentFolkhälsovetenskap global hälsa socialmedicin och epidemiologiBlood pressureFaculdade de Ciências Sociais3121 General medicine internal medicine and other clinical medicinelääkehoito1182 Biochemistry cell and molecular biologybusinessDemography
researchProduct

A space on which diameter-type packing measure is not Borel regular

1999

We construct a separable metric space on which 1-dimensional diameter-type packing measure is not Borel regular.

CombinatoricsBorel equivalence relationRiesz–Markov–Kakutani representation theoremApplied MathematicsGeneral MathematicsRadon measureStandard probability spaceBaire measureBorel setBorel measureMeasure (mathematics)MathematicsProceedings of the American Mathematical Society
researchProduct

Air gasification of wood chips, wood pellets and grass pellets in a bubbling fluidized bed reactor

2021

Abstract Gasification is an attractive method for biomass-to-energy conversion and fluidized bed design is one of the best options for large scale operation. A bubbling fluidized bed reactor was used to analyze the effects of biomass type, equivalence ratio (ER) and temperature for product gas compositions. Wood chips, wood pellets and grass pellets were gasified between 650 °C and 800 °C temperature. The ER was varied between 0.08 and 0.16. Gasification of grass pellets was difficult at 800 °C due to agglomeration and the gas composition was poor compared to wood. The reactor performances improved over the temperature and 650 °C was not sufficient to achieve a reasonable carbon conversion.…

Materials science020209 energyPelletschemistry.chemical_elementBiomass02 engineering and technologycomplex mixturesIndustrial and Manufacturing Engineering020401 chemical engineering0202 electrical engineering electronic engineering information engineeringGas composition0204 chemical engineeringElectrical and Electronic EngineeringCivil and Structural EngineeringBubbling fluidized bedEconomies of agglomerationMechanical Engineeringtechnology industry and agricultureBuilding and ConstructionPulp and paper industryPollutionVDP::Teknologi: 500General EnergychemistryFluidized bedCarbonEquivalence ratio
researchProduct

An Overview on Algebraic Structures

2016

This chapter recaps and formalizes concepts used in the previous sections of this book. Furthermore, this chapter reorganizes and describes in depth the topics mentioned at the end of Chap. 1, i.e. a formal characterization of the abstract algebraic structures and their hierarchy. This chapter is thus a revisited summary of concepts previously introduced and used and provides the mathematical basis for the following chapters.

AlgebraEquivalence class (music)Ring theoryHierarchy (mathematics)Algebraic structureEquivalence relationBasis (universal algebra)Commutative ringCharacterization (mathematics)Mathematics
researchProduct

Numerical and Experimental Investigation of Equivalence Ratio (ER) and Feedstock Particle Size on Birchwood Gasification

2017

This paper discusses the characteristics of Birchwood gasification using the simulated results of a Computational Fluid Dynamics (CFD) model. The CFD model is developed and validated with the experimental results obtained with the fixed bed downdraft gasifier available at the University of Agder (UIA), Norway. In this work, several parameters are examined and given importance, such as producer gas yield, syngas composition, lower heating value (LHV), and cold gas efficiency (CGE) of the syngas. The behavior of the parameters mentioned above is examined by varying the biomass particle size. The diameters of the two biomass particles are 11.5 mm and 9.18 mm. All the parameters investigate wit…

Control and OptimizationBirchwood gasification020209 energycold gas efficiencyEnergy Engineering and Power TechnologyBiomassThermodynamics02 engineering and technologycomputational fluid dynamicsBirchwood gasification; computational fluid dynamics; equivalence ratio; cold gas efficiency; syngaslcsh:Technologyequivalence ratio0202 electrical engineering electronic engineering information engineeringElectrical and Electronic EngineeringEngineering (miscellaneous)Petroleum engineeringRenewable Energy Sustainability and the EnvironmentChemistrylcsh:TProducer gassyngasYield (chemistry)ParticleHeat of combustionParticle sizeMass fractionEnergy (miscellaneous)Syngas
researchProduct

Left-Right Equivalence and Stability

2020

We introduce the key equivalence relations on germs of maps, which play an important role throughout the book—right-equivalence and left-right equivalence (A-equivalence). These are induced by groups of diffeomorphisms, so equivalence classes have tangent spaces, and we calculate many examples, including some multi-germs. We introduce the notions of stability and finite determinacy, and prove Mather’s infinitesimal criterion for stability.

Pure mathematicsDeterminacyInfinitesimalTangent spaceEquivalence relationEquivalence (measure theory)Mathematics
researchProduct